Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings: 620 (Lecture Notes in Computer Science)
by Anil Nerode,Mikhail Taitslin
ISBN 13: 9783540557074
Format: Illustrated (528 pages) Publisher: Springer Published: 13 Jun 2008
Save for later